differentiation of logx